Erweiterungen des Logikprogrammierens

Projektleitung und Mitarbeiter

Keronen, S. (Ph. D.), Schroeder-Heister, P. (Prof. Dr. phil.), gemeinsam mit: Dyckhoff, R. (Ph. D., St. Andrews, Schottland), Eriksson, L. H. (Dr., Swedish Inst. of Computer Sci., SICS), Hallnäs, L. (Dr., Univ. Göteborg)

Mittelgeber : DFG; EU (Brüssel)

Forschungsbericht : 1994-1996

Tel./ Fax.:

Projektbeschreibung

Die Erweiterung des üblichen Resolutionsverfahrens um Regeln zur Einführung von Annahmen ("definitorische Reflexion") wurde weiter ausgebaut. Insbesondere wurde untersucht, wie sich der vorgeschlagene Ansatz zu traditionellen Ansätzen der Vervollständigung ("completion") von Logikprogrammen und den dort verwendeten Gleichheitstheorien verhält. Die mit einer Tübinger Tagung 1989 initierte Tagungsserie "Extensions of Logic Programming" (ELP) wurde weiter fortgeführt (St. Andrews 1993, S. Margherita Ligure 1994).

Publikationen

Schroeder-Heister, P.: Definitional reflection and the completion. In: Extensions of Logic Programming. 4th Int. Workshop (ELP'93), Proceedings (Dyckhoff, R., ed.), pp. 333 347. Springer 1994.

INDEX HOME SUCHEN KONTAKT LINKS

qvf-info@uni-tuebingen.de(qvf-info@uni-tuebingen.de) - Stand: 30.11.96
Copyright Hinweise